- теория доказательства
- тео́рія дове́дення
Русско-украинский политехнический словарь. 2013.
теория доказательства
Смотреть что такое "теория доказательства" в других словарях:
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
Теория чисел — Теория чисел, или высшая арифметика раздел математики, изучающий целые числа и сходные объекты. В теории чисел в широком смысле рассматриваются как алгебраические, так и трансцендентные числа, а также функции различного происхождения, которые… … Википедия
Теория струн — Теория суперструн Теория … Википедия
Теория узлов — Теория узлов изучение вложений одномерных многообразий в трёхмерное евклидово пространство или в сферу . В более широком смысле предметом теории узлов являются вложения сфер в многообразия и вообще вложения многообразий. Содержание 1… … Википедия
теория — научная это систематизированное описание, объяснение и предсказание явлений; попытка целостного представления закономерностей и существенных свойств определенных областей действительности, возникающая на базе широко подтверждаемых гипотез.… … Большая психологическая энциклопедия
Теория доказательств — Теория доказательств это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно… … Википедия
теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… … Энциклопедия эпистемологии и философии науки
Теория зависимости — или Теория зависимого развития теория в области смежных социальных наук, в основании которой лежит утверждение о том, что экономическая отсталость и политическая нестабильность слаборазвитых, развивающихся стран является результатом их интеграции … Википедия
Теория Ламарка — Теория наследования приобретенных признаков Ламарка эволюционная теория, созданная французским биологом Жаном Батистом Ламарком. Всех животных Ламарк распределил по шести ступеням, уровням (или, как он говорил, «градациям») по сложности их… … Википедия
ТЕОРИЯ ХОДЬБЫ НАУГАД, ТЕОРИЯ БЛУЖДАНИЙ — (random walk theory) Теория, согласно которой движение курсов ценных бумаг, обусловленное какой либо из причин, не имеет никакой связи с предыдущими изменениями курсов и, следовательно, не поддается прогнозированию. Эта теория обычно используется … Финансовый словарь
теория “ходьбы наугад” — теория “блужданий” Теория, согласно которой движение курсов ценных бумаг, обусловленное какой либо из причин, не имеет никакой связи с предыдущими изменениями курсов и, следовательно, не поддается прогнозированию. Эта теория обычно используется… … Справочник технического переводчика
